Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
701	Almost all decision trees do not allow significant quantum speed-up Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:07:15 Models of computation Decision tree model Binary trees Quantum algorithm PP Randomized algorithm Quantum computer Random binary tree Switching lemma Theoretical computer science Applied mathematics Computational complexity theory
702	On Quantum Interactive Proofs with Short Messages Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-09 02:04:20 Quantum complexity theory Models of computation Probabilistic complexity theory Quantum information science QIP QMA Interactive proof system IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
703	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
704	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
705	Dynamical Systems and Computational Mechanisms Belgium Workshop July 1-2 , 2002 Roger Brockett Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-07-10 17:54:16 Differential topology Systems theory Dynamical systems Mathematical structures Quantization Computation Degree of a continuous mapping Curve Manifold Topology Mathematics Structure
706	Capabilities and Limitations of Quantum Computers Simone Severini Cambrige, ACK: Fernando Brandao (UCL), Aram Harrow (MIT/UCL), Add to Reading List Source URL: www.turing-gateway.cam.ac.uk Language: English - Date: 2014-09-23 05:58:31 Computational complexity theory Quantum cryptography Models of computation Quantum computer Physics Quantum entanglement Theoretical computer science Applied mathematics Quantum information science
707	Local Computation of PageRank Contributions Reid Andersen1 , Christian Borgs2, Jennifer Chayes2 , John Hopcraft3 , Vahab S. Mirrokni2 , and Shang-Hua Teng4 1 University of California at San Diego, San Diego, CA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-14 00:45:17 Linear algebra Algebraic graph theory PageRank Search engine optimization Vector space Adjacency matrix Algebra Mathematics Link analysis
708	A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations Matthias Tichy Organic Computing, Department of Computer Science University of Augsburg, Augsburg, Germany Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:26 Diagrams Software engineering Knowledge Models of computation Systems theory Graph rewriting Unified Modeling Language Agent-based model System Science Cybernetics Scientific modeling
709	TWLT20 The April Fools’ Day Workshop on Computation Humour P ROCEEDINGS OF THE TWENTIETH T WENTE W ORKSHOP ON L ANGUAGE T ECHNOLOGY Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2009-09-22 07:15:12 Theories of humor Salvatore Attardo Computational humor SSTH Victor Raskin Graph theory Vertex Humor: International Journal of Humor Research Semantic network Humor research Humanities Mathematics
710	δ-uniform BSS Machines Paolo Boldi* Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, Italy. Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:52:47 Computer science Theory of computation Models of computation Alan Turing Turing machine Computable number Computability Reduction NP Theoretical computer science Computability theory Applied mathematics

UPDATE